l'opération $$\frac{df}{dx}=\frac{dy}{dx}\times\frac{df}{dy}$$ est justifiée, car il s'agit de la dérivée de la composée $$(f\circ y)'(x)=y'(x)\times f'(y(x))$$ (Règle de la chaîne - Dérivée d’une fonction composée)